61. Formal modeling and analysis of timed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
62. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
پدیدآورنده : Kim G. Larsen, Peter Niebert )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
رده :
QA
76
.
L28
Vol
.
2791
63. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
پدیدآورنده : Yassine Lakhnech, Sergio Yovine )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
3253
64. From Animals to Animats 9 :
پدیدآورنده : Stefano Nolfi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Animal behavior -- Simulation methods -- Congresses.,Animals -- Adaptation -- Simulation methods -- Congresses.,Robotics -- Congresses.
رده :
QL751
.
65
.
S55
S744
2007
65. From animals to animats 2
پدیدآورنده : / edited by Jean-Arcady Meyer, Herbert L. Roitblat, and Stewart W. Wilson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Animal behavior- Simulation methods- Congresses,Animals- Adaptation- Simulation methods- Congresses,Robotics- Congresses,Artificial intelligence- Congresses
رده :
QL751
.
65
.
S55
,
I58
1992
66. From animals to animats 2
پدیدآورنده : / edited by Jean-Arcady Meyer, Herbert L. Roitblat, and Stewart W. Wilson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Animal behavior- Simulation methods- Congresses,Animals- Adaptation- Simulation methods- Congresses,Robotics- Congresses,Artificial intelligence- Congresses
رده :
QL751
.
65
.
S55
,
I58
1992
67. From animals to animats 12
پدیدآورنده : Tom Ziemke, Christian Balkenius, John Hallam (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Adaptive computing systems, Congresses,Animal behavior-- Simulation methods, Congresses,Animals-- Adaptation-- Simulation methods, Congresses,Computer vision, Congresses,Robotics, Congresses,Robots, Congresses
رده :
QL751
.
65
.
S55
I58
2012eb
68. From animals to animats 9 : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006 : proceedings
پدیدآورنده : Stefano Nolfi...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Simulation methods -- Congresses ، Animal behavior,Simulation methods -- Congresses ، Animals -- Adaptation,Congresses ، Robotics,Biological applications -- Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
4095
69. Geochemical processes
پدیدآورنده :
کتابخانه: كتابخانه دانشگاه پيام نور اصفهان (اصفهان)
موضوع : Geochemical modeling, Congresses,Chemical reactions, Simulation methods, Congresses,Water chemistry, Congresses,Soil chemistry, Congresses
رده :
QE
،
515
.
5
،.
G43
,
G46
،
2002
70. Geochemical processes
پدیدآورنده : / edited by Horst D. Schulz and Georg Teutsch
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Geochemical modeling, Congresses,Chemical reactions, Simulation methods, Congresses,Water chemistry, Congresses,Soil chemistry, Congresses
رده :
QE515
.
5
.
G43
,
G46
2002
R
71. Geochemical processes : conceptual models for reactive transport in soil and groundwater
پدیدآورنده : edited by Horst D. Schulz and Georg Teutsch
موضوع : Congresses ، Geochemical modeling,Simulation methods -- Congresses ، Chemical reactions,Congresses ، Water chemistry,Congresses ، Soil chemistry
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
72. Geochemical processes: conceptual models for reactive transport in soil and groundwater
پدیدآورنده : edited by Horst D. Schulz and Georg Teutsch
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Geochemical modeling,Simulation methods -- Congresses ، Chemical reactions,Congresses ، Water chemistry,Congresses ، Soil chemistry
رده :
QE
515
.
5
.
G43
G463
2002
73. Geographic information systems and environmental modeling
پدیدآورنده : Keith C. Clarke, Bradley O. Parks, Michael P. Crane, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Geographic information systems,Simulation methods -- Congresses ، Ecology
رده :
G
70
.
212
.
G44547
2002
74. Geographic information systems and environmental modeling
پدیدآورنده : Keith C. Clarke, Bradley O. Parks, Michael P. Crane, editors
موضوع : Geographic information systems -- Congresses,Ecology -- Simulation methods -- Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
75. Geographic information systems and environmental modeling
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Geographic information systems -- Congresses,Ecology -- Simulation methods -- Congresses
رده :
363
.
702011
G345
76. Geographic information systems and environmental modeling
پدیدآورنده : / Keith C. Clarke, Bradley O. Parks, Michael P. Crane, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Geographic information systems, Congresses,Ecology, Simulation methods, Congresses
رده :
G70
.
212
.
G44
77. Geographic information systems and environmental modeling
پدیدآورنده : / Keith C. Clarke, Bradley O. Parks, Michael P. Crane, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geographic information systems- Congresses,Ecology- Simulation methods- Congresses
رده :
G70
.
21
.
G445
2002
78. Geostatistical simulations: Proceedings of the Geostatistical workshop, Fontainebleu, France, 1993
پدیدآورنده : / edited by M. Armstrong and P.A. Dowd
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geology- Computer simulation- Congresses,Petroleum- Geology- Computer simulation- Congresses,Geology- Statistical methods- Data processing- Congresses
رده :
QE48
.
8
.
G477
1993
79. Geostatistical simulations : proceedings of the Geostatistical Simulation Workshop, Fontainebleau, France, 27-28 May 1993
پدیدآورنده : edited by M. Armstrong and P.A. Dowd
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Geology - Computer simulation - Congresses , Petroleum - Geology - Computer simulation - Congresses , Geology - Statistical methods - Data processing - Congresses , Petroleum - Geology - Statistical methods - Data processing - Congresses
رده :
QE
48
.
8
.
G47
1993
80. Geostatistical simulations : proceedings of the Geostatistical Simulation Workshop, Fontainebleau, France, 27-28 May 1993
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Geology-- Computer simulation-- Congresses,، Petroleum-- Geology-- Computer simulation-- Congresses,، Geology-- Statistical methods-- Data processing-- Congresses,، Petroleum-- Geology-- Statistical methods-- Data processing-- Congresses
رده :
QE
48
.
8
.
G47
1993
